Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Оценки. Булевы функции teach-in 1:25:59 5 years ago 4 004 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логические формулы teach-in 38:22 5 years ago 10 435 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Булева алгебра 1 teach-in 1:33:52 5 years ago 2 146 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Булева алгебра 2 teach-in 1:27:40 5 years ago 1 252 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория алгоритмов teach-in 1:35:47 5 years ago 1 570 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Эквивалентность моделей teach-in 1:29:23 5 years ago 1 118 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теории и модели teach-in 1:28:15 5 years ago 658 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Преобразование формул teach-in 1:31:51 5 years ago 662 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Логика предикатов teach-in 1:29:30 5 years ago 1 572 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Система аксиом teach-in 1:28:17 5 years ago 1 107 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Нормальные модели teach-in 1:33:30 5 years ago 633 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Теория множеств Цермело teach-in 1:30:00 5 years ago 914 Далее Скачать
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Исчисление предикатов teach-in 1:27:51 5 years ago 866 Далее Скачать
Введение в математическую логику 1. Семантическое следствие и булевы формулы Лекторий ФПМИ 1:20:03 1 year ago 2 373 Далее Скачать
